UK - PDFSEARCH.IO - Document Search Engine

UK
Results: 509634

#	Item
171	PDF Document Add to Reading List Source URL: www.nationalarchives.gov.uk - Date: 2017-07-03 04:53:42
172	Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:19:42 Mathematics Logic Mathematical logic Recursion Theoretical computer science Mathematical proofs Type theory Mathematical induction Structural induction Recursive definition Automated theorem proving Natural deduction
173	ISSNAntiphon Issue 23 Antiphon on-line poetry magazine Add to Reading List Source URL: antiphon.org.uk Language: English - Date: 2018-09-17 05:27:40 Ancient Greek mathematicians Sophists Sophistic works of Antiphon Antiphon Poetry 1st millennium BC Ancient history Ancient Greece
174	Exploring HTTP Header Manipulation In-The-Wild Gareth Tyson Shan Huang Felix Cuadrado Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2017-02-16 04:03:04 Computing Internet privacy Information and communications technology Hypertext Transfer Protocol Cache Computer network security Middlebox Hola Proxy server X-Forwarded-For Web cache HTTP cookie
175	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-10-06 04:04:07 Markov processes Game theory Strategy Stochastic game Markov decision process Probability and statistics Probability Computability theory
176	Reachability in Stochastic Timed Games Patricia Bouyer? and Vojtˇech Forejt?? 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 09:55:59 Algebra Mathematics Abstract algebra Timed automaton Markov chain Weight Markov decision process -ring Spectral theory of ordinary differential equations
177	PDF Document Add to Reading List Source URL: www.cifas.org.uk Language: English - Date: 2018-04-17 11:35:22 Fraud Human behavior Property crimes Deception Crimes Cybercrime Cifas Identity fraud Identity theft Money mule Insurance fraud Phishing
178	shutterstock_88946509 [Converted] Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2014-11-19 06:25:57 Security Computer security Software Security breaches Antivirus software Computer network security Cybercrime Malware Computer virus Spyware AutoRun Internet security
179	Stochastic Games with Branching-Time Winning Objectives Tom´asˇ Br´azdil V´aclav Broˇzek Vojtˇech Forejt Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 06:00:18
180	Isolating JavaScript with Filters, Rewriting, and Wrappers Sergio Maffeis1 , John C. Mitchell2 , and Ankur Taly2 1 Imperial College London Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-01-15 12:55:39 Software engineering Computing Computer programming Functional languages Control flow High-level programming languages Programming language comparisons Programming language syntax Eval JavaScript Scope Dynamic programming language